[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

272 272 438 330 0 1343 0 384 2500

N.S.

1 1.00 1.61 1.21 0.00 4.94 0.00 1.41 9.19

time (sec)

N/A 0.658 6.300 0.514 0.000 28.381 0.000 0.537 13.701

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 240 245 0 1114 0 404 2500

N.S.

1 1.00 1.46 1.49 0.00 6.79 0.00 2.46 15.24

time (sec)

N/A 0.455 2.336 0.407 0.000 19.920 0.000 0.488 12.681

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 191 185 0 694 0 229 2500

N.S.

1 1.00 1.46 1.41 0.00 5.30 0.00 1.75 19.08

time (sec)

N/A 0.227 0.748 0.310 0.000 9.018 0.000 0.498 11.898

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 97 132 0 389 0 174 106

N.S.

1 1.00 0.97 1.32 0.00 3.89 0.00 1.74 1.06

time (sec)

N/A 0.094 0.396 0.146 0.000 2.547 0.000 0.478 4.059

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 119 168 0 561 0 201 2500

N.S.

1 1.00 0.96 1.35 0.00 4.52 0.00 1.62 20.16

time (sec)

N/A 0.202 0.598 0.191 0.000 2.599 0.000 0.500 12.091

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 147 213 0 788 0 1107 2500

N.S.

1 1.00 0.82 1.18 0.00 4.38 0.00 6.15 13.89

time (sec)

N/A 0.461 0.883 0.251 0.000 3.068 0.000 0.591 9.045

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 184 270 0 970 0 340 2500

N.S.

1 1.00 0.70 1.03 0.00 3.72 0.00 1.30 9.58

time (sec)

N/A 0.675 1.135 0.292 0.000 4.192 0.000 0.517 13.928

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 418 380 0 2111 0 581 2500

N.S.

1 1.00 1.45 1.31 0.00 7.30 0.00 2.01 8.65

time (sec)

N/A 1.032 6.518 0.777 0.000 78.245 0.000 0.574 17.503

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 270 305 0 1419 0 486 2500

N.S.

1 1.00 1.23 1.39 0.00 6.45 0.00 2.21 11.36

time (sec)

N/A 0.545 1.816 0.576 0.000 29.097 0.000 0.562 14.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 157 238 0 750 0 400 251

N.S.

1 1.00 0.87 1.32 0.00 4.17 0.00 2.22 1.39

time (sec)

N/A 0.272 0.751 0.269 0.000 3.034 0.000 0.547 7.394

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 172 236 0 752 0 399 251

N.S.

1 1.00 1.05 1.44 0.00 4.59 0.00 2.43 1.53

time (sec)

N/A 0.198 0.960 0.233 0.000 3.224 0.000 0.519 7.264

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 203 287 0 1152 0 457 2500

N.S.

1 1.00 0.99 1.40 0.00 5.62 0.00 2.23 12.20

time (sec)

N/A 0.433 1.493 0.310 0.000 3.663 0.000 0.581 15.432

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

290 290 232 347 0 1568 0 546 2500

N.S.

1 1.00 0.80 1.20 0.00 5.41 0.00 1.88 8.62

time (sec)

N/A 1.090 2.144 0.404 0.000 3.926 0.000 0.553 12.587

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

485 485 3734 4395 0 0 0 0 -1

N.S.

1 1.00 7.70 9.06 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.015 25.916 0.805 0.000 0.000 0.000 0.000 0.000

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

397 397 3330 3438 0 0 0 0 -1

N.S.

1 1.00 8.39 8.66 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.688 23.655 0.513 0.000 0.000 0.000 0.000 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

314 314 434 2500 0 0 0 0 -1

N.S.

1 1.00 1.38 7.96 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.423 17.791 0.329 0.000 0.000 0.000 0.000 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

256 256 358 1752 0 0 0 0 -1

N.S.

1 1.00 1.40 6.84 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.203 14.965 0.218 0.000 0.000 0.000 0.000 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

320 320 863 1372 0 0 0 0 -1

N.S.

1 1.00 2.70 4.29 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.270 17.734 0.183 0.000 0.000 0.000 0.000 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

344 344 1107 1386 0 0 0 0 -1

N.S.

1 1.00 3.22 4.03 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.321 17.829 0.227 0.000 0.000 0.000 0.000 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

429 429 1149 2065 0 0 0 0 -1

N.S.

1 1.00 2.68 4.81 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.563 18.156 0.184 0.000 0.000 0.000 0.000 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

573 573 4220 5368 0 0 0 0 -1

N.S.

1 1.00 7.36 9.37 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.382 26.641 1.273 0.000 0.000 0.000 0.000 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

475 475 3766 4394 0 0 0 0 -1

N.S.

1 1.00 7.93 9.25 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.862 25.975 0.796 0.000 0.000 0.000 0.000 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

387 387 3342 3424 0 0 0 0 -1

N.S.

1 1.00 8.64 8.85 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.575 23.899 0.507 0.000 0.000 0.000 0.000 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

312 312 456 2683 0 0 0 0 -1

N.S.

1 1.00 1.46 8.60 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.326 18.450 0.333 0.000 0.000 0.000 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

380 380 6017 2340 0 0 0 0 -1

N.S.

1 1.00 15.83 6.16 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.373 24.453 0.229 0.000 0.000 0.000 0.000 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

361 361 971 2196 0 0 0 0 -1

N.S.

1 1.00 2.69 6.08 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.378 15.800 0.223 0.000 0.000 0.000 0.000 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

428 428 1580 2439 0 0 0 0 -1

N.S.

1 1.00 3.69 5.70 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.611 19.139 0.186 0.000 0.000 0.000 0.000 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

520 520 1516 3142 0 0 0 0 -1

N.S.

1 1.00 2.92 6.04 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.905 19.015 0.234 0.000 0.000 0.000 0.000 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

565 565 4227 5368 0 0 0 0 -1

N.S.

1 1.00 7.48 9.50 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.262 26.766 1.273 0.000 0.000 0.000 0.000 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

469 469 3781 4395 0 0 0 0 -1

N.S.

1 1.00 8.06 9.37 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.817 25.784 0.783 0.000 0.000 0.000 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

384 384 2913 3637 0 0 0 0 -1

N.S.

1 1.00 7.59 9.47 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.481 22.810 0.507 0.000 0.000 0.000 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

442 442 7094 3285 0 0 0 0 -1

N.S.

1 1.00 16.05 7.43 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.502 25.350 0.348 0.000 0.000 0.000 0.000 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

433 433 7745 3215 0 0 0 0 -1

N.S.

1 1.00 17.89 7.42 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.542 25.522 0.322 0.000 0.000 0.000 0.000 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

450 450 1326 3271 0 0 0 0 -1

N.S.

1 1.00 2.95 7.27 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.615 19.200 0.322 0.000 0.000 0.000 0.000 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

518 518 1530 3511 0 0 0 0 -1

N.S.

1 1.00 2.95 6.78 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.893 19.408 0.249 0.000 0.000 0.000 0.000 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

617 617 5172 4231 0 0 0 0 -1

N.S.

1 1.00 8.38 6.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.257 24.008 0.309 0.000 0.000 0.000 0.000 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

411 411 3426 3439 0 0 0 0 -1

N.S.

1 1.00 8.34 8.37 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.718 24.065 0.536 0.000 0.000 0.000 0.000 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

329 329 3000 2500 0 0 0 0 -1

N.S.

1 1.00 9.12 7.60 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.476 21.503 0.345 0.000 0.000 0.000 0.000 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

261 261 372 1567 0 0 0 0 -1

N.S.

1 1.00 1.43 6.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.305 15.262 0.224 0.000 0.000 0.000 0.000 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

210 210 312 829 0 0 0 0 -1

N.S.

1 1.00 1.49 3.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.121 13.870 0.188 0.000 0.000 0.000 0.000 0.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 145 215 0 0 0 0 -1

N.S.

1 1.00 0.70 1.03 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.153 2.380 0.174 0.000 0.000 0.000 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

348 348 1027 1028 0 0 0 0 -1

N.S.

1 1.00 2.95 2.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.353 16.239 0.211 0.000 0.000 0.000 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

471 471 3953 4320 0 0 0 0 -1

N.S.

1 1.00 8.39 9.17 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.872 26.232 0.588 0.000 0.000 0.000 0.000 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

329 329 3460 3329 0 0 0 0 -1

N.S.

1 1.00 10.52 10.12 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.564 24.431 0.343 0.000 0.000 0.000 0.000 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

275 275 466 2275 0 0 0 0 -1

N.S.

1 1.00 1.69 8.27 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.356 18.023 0.218 0.000 0.000 0.000 0.000 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

254 254 426 1634 0 0 0 0 -1

N.S.

1 1.00 1.68 6.43 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.219 14.731 0.205 0.000 0.000 0.000 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

376 376 1445 2009 0 0 0 0 -1

N.S.

1 1.00 3.84 5.34 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.363 14.381 0.216 0.000 0.000 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

427 427 1597 2871 0 0 0 0 -1

N.S.

1 1.00 3.74 6.72 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.559 19.220 0.188 0.000 0.000 0.000 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

509 509 4342 8044 0 0 0 0 -1

N.S.

1 1.00 8.53 15.80 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.085 27.008 0.763 0.000 0.000 0.000 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

417 417 3920 6455 0 0 0 0 -1

N.S.

1 1.00 9.40 15.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.688 26.013 0.375 0.000 0.000 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

387 387 3514 5167 0 0 0 0 -1

N.S.

1 1.00 9.08 13.35 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.503 23.735 0.206 0.000 0.000 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

353 353 3181 4213 0 0 0 0 -1

N.S.

1 1.00 9.01 11.93 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.368 21.873 0.188 0.000 0.000 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

495 495 2039 5712 0 0 0 0 -1

N.S.

1 1.00 4.12 11.54 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.597 16.808 0.207 0.000 0.000 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

446 446 3729 7695 0 0 0 0 -1

N.S.

1 1.00 8.36 17.25 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.574 24.641 0.289 0.000 0.000 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 76 217 0 0 0 0 -1

N.S.

1 1.00 0.75 2.15 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.195 20.647 0.073 0.000 0.000 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 91 277 0 0 0 0 -1

N.S.

1 1.00 0.66 2.01 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.342 0.303 0.367 0.000 0.000 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

229 229 21744 0 0 0 0 0 -1

N.S.

1 1.00 94.95 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.207 41.020 0.068 0.000 0.000 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

229 229 21684 0 0 0 0 0 -1

N.S.

1 1.00 94.69 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.184 43.506 0.067 0.000 0.000 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

226 226 12792 0 0 0 0 0 -1

N.S.

1 1.00 56.60 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.185 40.550 0.069 0.000 0.000 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

226 226 12774 0 0 0 0 0 -1

N.S.

1 1.00 56.52 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.181 46.023 0.067 0.000 0.000 0.000 0.000 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 124 210 266 182 0 473 301

N.S.

1 1.00 0.75 1.27 1.61 1.10 0.00 2.87 1.82

time (sec)

N/A 0.166 1.261 0.102 0.288 2.167 0.000 0.517 7.671

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 100 174 218 158 0 428 260

N.S.

1 1.00 0.73 1.27 1.59 1.15 0.00 3.12 1.90

time (sec)

N/A 0.150 0.751 0.086 0.272 2.766 0.000 0.517 7.720

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 75 131 155 128 0 261 190

N.S.

1 1.00 0.74 1.30 1.53 1.27 0.00 2.58 1.88

time (sec)

N/A 0.102 0.439 0.066 0.283 2.929 0.000 0.479 7.656

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 92 100 116 118 0 170 164

N.S.

1 1.00 1.33 1.45 1.68 1.71 0.00 2.46 2.38

time (sec)

N/A 0.054 0.037 0.056 0.287 3.697 0.000 0.507 4.588

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 71 74 92 101 0 134 153

N.S.

1 1.00 1.37 1.42 1.77 1.94 0.00 2.58 2.94

time (sec)

N/A 0.088 0.034 0.075 0.293 3.102 0.000 0.492 4.260

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 68 82 89 73 0 159 156

N.S.

1 1.00 0.99 1.19 1.29 1.06 0.00 2.30 2.26

time (sec)

N/A 0.115 0.149 0.086 0.277 3.590 0.000 0.486 4.106

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 85 102 98 70 0 227 100

N.S.

1 1.00 0.92 1.11 1.07 0.76 0.00 2.47 1.09

time (sec)

N/A 0.132 0.218 0.094 0.274 2.105 0.000 0.508 4.040

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 117 141 132 97 0 392 150

N.S.

1 1.00 1.01 1.22 1.14 0.84 0.00 3.38 1.29

time (sec)

N/A 0.159 0.375 0.110 0.301 3.392 0.000 0.465 3.899

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 147 173 166 121 0 437 258

N.S.

1 1.00 0.94 1.11 1.06 0.78 0.00 2.80 1.65

time (sec)

N/A 0.170 0.419 0.122 0.307 3.106 0.000 0.497 7.629

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 281 371 292 357 243 0 766 455

N.S.

1 1.21 1.59 1.25 1.53 1.04 0.00 3.29 1.95

time (sec)

N/A 0.417 2.255 0.118 0.294 4.579 0.000 0.527 7.477

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 300 251 306 209 0 630 389

N.S.

1 1.00 1.50 1.26 1.53 1.04 0.00 3.15 1.94

time (sec)

N/A 0.255 1.673 0.100 0.289 3.211 0.000 0.514 8.190

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 322 183 207 179 0 364 512

N.S.

1 1.00 2.40 1.37 1.54 1.34 0.00 2.72 3.82

time (sec)

N/A 0.132 1.773 0.080 0.305 3.530 0.000 0.523 5.910

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 453 152 189 165 0 241 257

N.S.

1 1.00 3.60 1.21 1.50 1.31 0.00 1.91 2.04

time (sec)

N/A 0.150 1.306 0.105 0.288 3.008 0.000 0.476 6.155

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 153 134 148 147 0 229 274

N.S.

1 1.00 1.30 1.14 1.25 1.25 0.00 1.94 2.32

time (sec)

N/A 0.228 1.204 0.106 0.282 3.053 0.000 0.505 4.640

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 157 154 157 127 0 346 263

N.S.

1 1.00 1.11 1.09 1.11 0.90 0.00 2.45 1.87

time (sec)

N/A 0.262 0.526 0.109 0.319 3.471 0.000 0.522 4.554

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 134 200 187 134 0 577 214

N.S.

1 1.00 0.77 1.14 1.07 0.77 0.00 3.30 1.22

time (sec)

N/A 0.316 0.755 0.122 0.305 2.736 0.000 0.520 4.130

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 169 244 233 171 0 720 256

N.S.

1 1.00 0.79 1.13 1.08 0.80 0.00 3.35 1.19

time (sec)

N/A 0.361 0.808 0.144 0.289 2.843 0.000 0.520 4.550

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

381 381 384 444 565 342 0 1370 769

N.S.

1 1.00 1.01 1.17 1.48 0.90 0.00 3.60 2.02

time (sec)

N/A 0.608 3.187 0.161 0.289 3.699 0.000 0.558 6.247

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

286 286 451 369 445 292 0 989 601

N.S.

1 1.00 1.58 1.29 1.56 1.02 0.00 3.46 2.10

time (sec)

N/A 0.423 2.903 0.129 0.288 3.892 0.000 0.556 6.742

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 525 303 358 257 0 759 2500

N.S.

1 1.00 2.54 1.46 1.73 1.24 0.00 3.67 12.08

time (sec)

N/A 0.247 5.318 0.112 0.281 3.860 0.000 0.517 6.906

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 509 235 280 225 0 438 2437

N.S.

1 1.00 2.65 1.22 1.46 1.17 0.00 2.28 12.69

time (sec)

N/A 0.261 6.353 0.134 0.301 2.907 0.000 0.552 6.487

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 320 212 243 208 0 540 2500

N.S.

1 1.00 1.57 1.04 1.19 1.02 0.00 2.65 12.25

time (sec)

N/A 0.323 2.920 0.134 0.277 3.043 0.000 0.555 7.199

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 263 206 216 201 0 418 2470

N.S.

1 1.00 1.34 1.05 1.10 1.03 0.00 2.13 12.60

time (sec)

N/A 0.418 1.377 0.138 0.296 3.262 0.000 0.552 6.410

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 215 251 246 189 0 723 2500

N.S.

1 1.00 0.96 1.13 1.10 0.85 0.00 3.24 11.21

time (sec)

N/A 0.448 0.981 0.146 0.284 2.825 0.000 0.557 7.314

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 288 301 288 207 0 926 359

N.S.

1 1.00 1.07 1.12 1.07 0.77 0.00 3.44 1.33

time (sec)

N/A 0.519 1.127 0.085 0.299 2.722 0.000 0.528 4.933

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

320 320 369 370 360 256 0 1307 471

N.S.

1 1.00 1.15 1.16 1.12 0.80 0.00 4.08 1.47

time (sec)

N/A 0.610 1.200 0.099 0.280 2.981 0.000 0.559 5.820

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

491 491 486 592 746 450 0 1888 1044

N.S.

1 1.00 0.99 1.21 1.52 0.92 0.00 3.85 2.13

time (sec)

N/A 0.865 4.617 0.197 0.304 3.141 0.000 0.602 7.749

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

384 384 424 521 653 391 0 1658 942

N.S.

1 1.00 1.10 1.36 1.70 1.02 0.00 4.32 2.45

time (sec)

N/A 0.614 3.699 0.179 0.291 4.432 0.000 0.612 6.318

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

290 290 690 421 497 340 0 1140 2500

N.S.

1 1.00 2.38 1.45 1.71 1.17 0.00 3.93 8.62

time (sec)

N/A 0.388 4.157 0.144 0.310 5.036 0.000 0.539 7.879

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 813 355 431 302 0 840 2500

N.S.

1 1.00 2.98 1.30 1.58 1.11 0.00 3.08 9.16

time (sec)

N/A 0.415 6.896 0.171 0.288 4.667 0.000 0.585 8.806

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

274 274 348 295 335 269 0 550 2500

N.S.

1 1.00 1.27 1.08 1.22 0.98 0.00 2.01 9.12

time (sec)

N/A 0.476 2.397 0.173 0.287 3.684 0.000 0.574 8.936

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

303 303 370 284 311 262 0 543 2500

N.S.

1 1.00 1.22 0.94 1.03 0.86 0.00 1.79 8.25

time (sec)

N/A 0.592 4.705 0.172 0.287 3.421 0.000 0.556 8.387

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 382 304 305 263 0 802 2500

N.S.

1 1.00 1.30 1.04 1.04 0.90 0.00 2.74 8.53

time (sec)

N/A 0.679 3.885 0.093 0.289 3.520 0.000 0.532 8.624

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

314 314 382 355 347 262 0 1094 2500

N.S.

1 1.00 1.22 1.13 1.11 0.83 0.00 3.48 7.96

time (sec)

N/A 0.734 1.246 0.102 0.297 4.518 0.000 0.576 7.804

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 432 431 415 292 0 1578 534

N.S.

1 1.00 1.16 1.16 1.12 0.78 0.00 4.24 1.44

time (sec)

N/A 0.839 1.596 0.099 0.310 2.387 0.000 0.549 7.136

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

438 438 528 505 498 354 0 1815 675

N.S.

1 1.00 1.21 1.15 1.14 0.81 0.00 4.14 1.54

time (sec)

N/A 0.962 1.472 0.108 0.300 2.744 0.000 0.541 9.475

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 170 278 320 268 0 658 2500

N.S.

1 1.00 0.79 1.30 1.50 1.25 0.00 3.07 11.68

time (sec)

N/A 0.346 1.344 0.116 0.312 3.307 0.000 0.564 6.700

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 114 183 204 199 0 301 576

N.S.

1 1.00 0.77 1.23 1.37 1.34 0.00 2.02 3.87

time (sec)

N/A 0.221 0.981 0.083 0.286 2.515 0.000 0.546 6.718

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 77 129 142 154 0 213 221

N.S.

1 1.00 0.79 1.33 1.46 1.59 0.00 2.20 2.28

time (sec)

N/A 0.123 0.609 0.065 0.302 2.859 0.000 0.496 5.397

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

215 215 512 369 0 817 0 483 2500

N.S.

1 1.00 2.38 1.72 0.00 3.80 0.00 2.25 11.63

time (sec)

N/A 0.534 3.787 0.360 0.000 38.972 0.000 0.545 14.382

[next] [prev] [prev-tail] [front] [up]